DPMine/C: C++ Library and Graphical Frontend for DPMine Workflow Language
نویسنده
چکیده
DPMine generic purpose workflow language is rooted in DPMine/P scientific workflow language and a set of plug-ins for ProM which originally were developed for convenient piping of different plug-ins within ProM framework. DPMine/C is a new version of DPMine workflow language and a C++ library. The main language concept was complemented by comprehensive analysis of DPMine/C model execution semantics. This paper also discusses approaches to the block types extension concept relying on development of new block type classes and customization of the model storage subsystem. Finally, we show an approach for implementation of a GUI frontend.
منابع مشابه
DPMine: modeling and process mining tool
Volume of the data information system operate has been rapidly increasing. Data logs have long been known, as they are a useful tool to solve a range of tasks. The amount of information that is written to a log during a specified length of time leads to the so-called problem of “big data”. Process-aware information systems (PAIS) allow developing models of processes interaction, been monitoring...
متن کاملSupporting Evolution in Workflow Definition Languages
Workflow definition languages are evolving rapidly. However, there is not any agreed-upon standard for such languages. In this paper we address the problem of how to develop a workflow system that is able to cope with the constant changes in these languages. We address the definition aspect of workflow systems by distinguishing between frontend and backend languages. This way, a workflow system...
متن کاملAutomatic Grid workflow based on imperative programming languages
GRID superscalar is a Grid programming environment that enables one to parallelize the execution of sequential applications in computational Grids. The run-time library automatically builds a task datadependence graph of the application and it can be seen as an implicit workflow system. The current interface supports C/C++ and Perl applications. The run-time library is based on Globus Toolkit 2...
متن کاملThreader: A Verifier for Multi-threaded Programs - (Competition Contribution)
Threader is a tool that automates verification of safety and termination properties for multi-threaded C programs. The distinguishing feature of Threader is its use of reasoning that is compositional with regards to the thread structure of the verified program. This paper describes the verification approach taken by Threader and provides instructions on how to install and use the tool. 1 Verifi...
متن کاملThe GroupFlow System: A Scalable Approach to Workflow Management between Cooperation and Automation
In this paper, we will discuss business relevance factors, architectural concepts, tool approaches, and user-interface samples of the GroupFlow environment. GroupFlow offers business process and technology frameworks to set up versatile and flexible workflow systems for distributed information management within organizations and their outside communication partners. We regard the synergetic app...
متن کامل